TAGs: Solving exponential equations